• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (5)
    • Book (3)
    • Miscellaneous (3)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 11 of 11 1 Franz von Baader's sämtliche Werke Baader, Franz [Verfasser]. - Norderstedt : Hansebooks GmbH, 2016 DNB Subject Category Language Show details 2 Matching trace patterns with regular policies Baader, Franz; Bauer, Andreas; Tiu, Alwen. - : Springer, 2015 BASE Show details 3 The description logic handbook: theory, implementation and applications Baader, Franz; Calvanese, Diego; MacGuinness, Deborah L.. - Cambridge [u.a.] : Cambridge Univ. Press, 2010 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 4 Automata-Based Axiom Pinpointing Baader, Franz; Peñaloza, Rafael In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 45 (2010) 2, 91-129 OLC Linguistik Show details 5 Preface to Special Issue on Reasoning in Description Logics Baader, Franz In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 39 (2007) 3, 245 OLC Linguistik Show details 6 The description logic handbook : theory, implementation, and applications Baader, Franz (Hrsg.); Nardi, Daniele (Hrsg.); Calvanese, Diego (Hrsg.). - Cambridge : Cambridge U.P., 2003 BLLDB UB Frankfurt Linguistik Show details 7 Embedding Defaults into Terminological Knowledge Representation Formalisms Baader, Franz; Hollunder, Bernhard In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 14 (1995) 1, 149-180 OLC Linguistik Show details 8 Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic Baader, Franz; Hollunder, Bernhard In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 15 (1995) 1, 41-68 OLC Linguistik Show details 9 Extensions of concept languages for a mechanical engineering application ... Baader, Franz; Hanschke, Philipp. - : Universität des Saarlandes, 1992 BASE Show details 10 Extensions of concept languages for a mechanical engineering application Baader, Franz; Hanschke, Philipp. - 1992 BASE Show details 11 On the expressivity of feature logics with negation, functional uncertainty, and sort equations Bürckert, Hans-Jürgen; Baader, Franz; Nutt, Werner. - 1991 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 1 IDS Mannheim 0 OLC Linguistik 4 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 1 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 1 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 4 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0